Recent Results on Computational Issues in Supervisory Control
نویسندگان
چکیده
We present and discuss the implications of recent results by several researchers on computational issues in supervisory control of discrete event systems. The first issue discussed is the boundary between decidability and undecidability in centralized and decentralized control problems for systems modeled by finite-state automata and subject to regular language specifications. The second issue discussed is the PSPACE-completeness of a large class of verification and control problems for decentralized and modular systems modeled by sets of interacting finite-state automata coupled by parallel composition. The state space explosion inherent to modular systems and the possible time-space tradeoff that arises for computations on these systems are discussed.
منابع مشابه
Recent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملOn Asymptotically Eecient Solutions for a Class of Supervisory Control Problems
We consider restricted sequences of forbidden-string 23], and forbidden-state 22] problems and show the limiting problem instance deened by a sequence has a solution if and only if each problem instance in the sequence has a solution. Furthermore, the supervisor that enforces the desired behavior in the limiting problem instance also enforces the desired behavior in each problem instance in the...
متن کاملA new control strategy for energy management in Plug-in Hybrid Electric Vehicles based on Fuzzy Cognitive Maps
In this paper, a new control strategy for energy management in Plug-in Hybrid Electric Vehicles (PHEVs) using Fuzzy Cognitive Map (FCM) is presented. In this strategy, FCM is used as a supervisory control such that the State of Charge (SoC) of the battery is kept in the acceptable range and fuel consumption per kilometer is reduced, in addition to providing the request power. Since this method ...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملSupervisory Control of a Hybrid AC/DC Micro-Grid with Load Shedding Based on the Bankruptcy Problem
In this paper, a supervisory controller is proposed to manage the power flow in a hybrid AC/DC micro-grid for both grid-connected and disconnected modes. When the hybrid AC/DC micro-grid is connected to the utility grid, power surplus or shortage leads to power trade between the micro-grid and the utility grid. In the grid-disconnected mode, the renewable power sources (wind and solar generatio...
متن کامل